AMU10.360[GF,SYS] - www.SailDart.org

perm filename AMU10.360[GF,SYS] blob sn#784686 filedate 1985-02-07 generic text, type T, neo UTF8
{`d¬ 4~.23~-F(⊂≥l↔_⊂_n&(0]V ⊂_O∩(⊗∞Fx#QEnxπ→n&λ<YMvp:λw⊂0↑&T  H$2λ⊂C`5H↓V 5@αVU@αU`u8βU`u0∧U@ λβ∃@ λβ∃ 0λβU  _β∃0_βU (β∃ (β∀`0(βT` 8β∀` 8β∀@08βTB∃⊂λT 0HβT  Xβ∀  Xβ∀0XβT hβ∪`0hβS` xβ∪@0xβ∪ PpβRA08πRA08πQ(D⊂∂λ∧∩λ¬I!@'A! 0'A!00'A!@0'A!@0'A!P0'A!P0'A!P0'A!P0'A!P0'A!@0'A!@0'A!00'A! 0'Diq 'A!00'A!@0'A!P0'A!P0'A!`0'A!`0'A!`0'A!`0'A!`0'A!`0'A!`0'A!P0'A!P0'A!@0'A!00%ε)!8"Qλ1h⊂λ$⊂h∧↓@% εA%⊂βA @⊂↓T PP↓@ 5αCdxαC@TpαC`ThαD D`β∧@4`αD`4Xβ∧`4Xβ¬$XαE $Pβ¬ $Pβ∩@dPβ∩@dPβ∩@dPβ∩`Q(↓∩`a ↓∩`a ↓∪Q_↓Sa⊂↓S Qλ↓S@Q↓S`Pp↓TP`α∀ PPα∀@p(αU↓U8∧⊃(D ⊂λD∩λ¬)!@'A!⊂0'A!00'A!@0'A!P('A!`('A!`0'A!p('A!p0'A!p0'A!p0'A"0'A"0'A"0'A"0'A"0'A"0'A"0'A"0'A"0'A"0'A!p0'A!p0'A!p0'A!p('A!`0'A!`('A!P('A!@('A!0('A!⊂0%ε	!("QλQh∂H$⊂
RC4xαB`dxαC@4xαC@4xαC`4xαC`4xαC`4xαA` 8↓∪`P8↓↓`$xαA` 8↓∪`P8↓∪`P0↓S`P0↓S`P(α∪adxπ∪`P(α∪`P0↓S`P0↓S`P8↓∪`P8↓α$xαA` @↓∪`P8↓α$xαD4xαD4xαD4xαC`DxαC`4xαC`4xαC TxαB`tP∞∩CD("⊃C1h⊂H ↓P%εIp(¬↓Ip(ε↓	p(ε@ip(πip(πip(πip(π@Ip(β@@`⊂'A p⊂βIp(β@Ip(β@Ip(βip(βip(αA	pp'CIp(αA	p(βip(βip(β@Ip(β@Ip(β@Ip(β@Ip('A)p('A)p('A)p(%∧	!"Qλrλ∩λ$⊂h∧A@% π↓%⊂βA@@⊂↓T `P↓@ 5αC dxαC`TpαD DhαD@D`β∧`4`αE4Xβ¬ $Xβ¬ $Xβ¬ $Pβ∩@dPβ∩@dPβ∩@dPβ∩@`hπ∩```π∩`a⊂αR`a⊂αSQ⊂αSaλαS QλαS@QαS`PxαTPhβ∀ `PβT@p0α E π`58∧A@$("∩∧∩_⊂H x↓Ci x↓Cip(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)q8'Eip(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA) x↓Ci x↓ChT $Cb∩λ⊂@↓tPπS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαRAtPπQ(DP
Ed∩λββjx+↓*`(+↓*`(+↓*`(+↓*`(+↓*`(+↓*`(+↓*`(+↓*`(+↓*`(+↓*`(+↓*`(+↓)0 βA) 0β↓) 0β↓) 0β↓) 0αA)0 β↓)0 α↓I@`'αλT %HDBλ⊂@↓p(ε∩Ap(ε∪`P`βS`Phα∪`P`↓S`PX↓S`PX↓∪`PP↓S`PH↓S`P@↓S`P8↓S`P0↓S`P(αS`P β∪`P_∧∪`P⊂∧S`Pλ↓@ txα@  _βSa β∪`p(βS``8β∪`P@βS`PHβ∪`PHβS`PPβS`PXβ∪`PXβS`P`β∪`P`βS`Phβ∪`PhβS`Ph∧∩Ap(π∩Ap(π⊃(D`
π∧∩λ∧	!'A)p('A)p('A)p('A)p('A)p('A)p('A)p('A)p('A)p('A)p(πIp(πIp(πIp(ε@ip(ε@ip(ε@ip(ε↓	p(εip(¬A	p(¬↓)p(∧↓i!H%ε(T &JeBλ⊂@↓!8¬∩A!8¬∪`a(β∪`a(β∪`q_βS`q_βSa↓λ∧∪` λαD  λαS` λβ∧ λαS` ⊂αC`0λαS` ⊂αC` ⊂αS` ⊂ββ 0⊂αS` _αC  _αS` _βα`0_αS`  αB`  αS`  βα 0 αS` (αB  (αS` (αB  (αS` (β↓`0(αS` 0αA` 0αS` 0β↓ 00αS` 8αA  8αS` 8β`08αS` @α@` @αS` @β@ @αS` Hα@ 0@αS` Hα@  HαS` H∧α Tx↓α@`PαS` Pβα@Tx↓α`@XαS `Hαα`TPε↓` 8πRA@8↓↓at("∪D∩_⊂H X¬β	 `∧C	p8ε↓Ip@ε@IpHεIp⊂AA@⊂'@@⊂8¬@Ip⊂↓↓a ⊂'@@00¬Ip⊂↓Aa⊂⊂'@@@8∧Ip⊂αAA⊂'@@P8β@Ip⊂β↓``⊂'@@p0βIp⊂βA`P⊂'@A8αIp⊂∧A@@⊂'@A⊂8↓@Ip⊂¬↓@0⊂'@A 8↓Ip⊂¬A`⊂⊂'@A@0@Ip⊂εα)p⊂εB	p⊂π↓ip⊂π↓ip⊂πAIp⊂λ↓)p⊂λ↓)p⊂λA	P0λi `ε@i `πHT 'H∧2λ⊂C↓¬_π∀ p βT`@β∪`P`αS@``β∪ `pβ∪ QαSaβ∪Q⊂αR`a⊂β∩`a⊂β∩@a β∩@a β∩@a β∩@a β∩@a β∩@a β∩@a β∩@a β∩@a β∩@a β∩`a⊂β∩`a⊂β∩`a⊂β∪aβ∪ QαS `pβ∪@PpαS`P`αT`@β∀ p βTae0∧⊃(E∞πD∩λ¬)!@'A!⊂0'A! 0'A!00'A!00'A!@0'A!@0'A!@0'A!@0'A!@0'A!@0'A!00'A!00'A! 0'A!⊂0'Diq'A)p('A)p('A)p('A)p('A)p('A)p('A)p(%βi x"Q
∩⊃JD⊂`∧∀aeλβAuβαdxαCTpββdhββ@dhαDT`β∧d`αD@TXβ∧@dXβ∧@dPβ¬dPβ¬dPβ¬dPβ¬dPβ¬dPβ¬dPβ¬dPβ¬dPβ¬dPβ¬dXβ∧@dXβ∧@dXβ∧@d`β∧dhαA@P(αS ` β@`dpα@`0⊂α@Txα@@  ↓@ U∧↓↓¬λ∧`u_π↓`%0¬α%h↓B%hα↓@5hαAEhεWA5p¬Wa⊗βX T("∀D∩_⊂H ↓ %¬ip(βAip(∧AIp(¬↓Ip(¬AIp(¬Aip(ε↓Ip(ε↓Ip(ε↓Ip(ε↓Ip(¬Aip(¬AIp(¬↓Ip(∧AIp(βAiq⊂'Cip(βA	p(∧↓	p(∧↓)p(∧A)p(∧A)p(∧A)p(∧AIp(∧AIp(∧AIp(∧AIp(∧A@`⊂'A!⊂0βIp(¬↓@@_'A! 0↓@i xβαi x∧↓hT )E#αλ⊂A@p(↓∪A0_↓∪ @(α 4`↓B dX↓B`TX↓β DP↓C@4P↓C@4P↓C`$Pαβ@$Pαβ@$PαRA∧X¬Rad`πS!tpπT!U(∧VuPαR@ xα∩@ xα∩@!↓R@!↓R@0x↓R@0x↓R@@h↓R@P`↓R@pH↓R@0λαA DP↓↓↓4P↓↓@t("∃βrλ⊂H ⊃h%G)08αA P8%A p(βA)0 ∧↓! %↓↓⊂(∧A	 _¬↓! _%a (¬i _¬↓! _%A0(¬@I ⊂¬A!0⊂+A*p(+A*p(+A*p(+A*p(+A*p(+A*p(+A*p(+A*p(+A*p(+A*p(+↓j↓_(∧hT *H$2λ⊂@↓p0ε∩Ap0ε∪`Ppβ∪`Q↓∪`Q↓∪`Q↓∪`Q↓∪`Q↓∪`Q↓∪`Q↓∪`Q↓∪`Q↓∪`Q↓∪`Q↓∪`Q↓∪`Q↓∪`Q↓∪`Q↓∪`Q↓∪`Q↓∪`Q↓∪`Q↓∪`Q↓∪`Q↓∪`Q↓∪`Px↓TPp↓∀Pp↓∀ @h↓T PX↓T@PH↓T``(α∃!E8∧⊃(E0⊃I∧∩λβA X%βA X'↓B0'A"⊂ 'AB_(↓"⊂(↓"⊂(↓A`_(A!`⊂(AA@_)↓!@⊂)↓!@⊂)↓A _)A! ⊂)A! ⊂)AA_*↓!⊂*↓@`_*A `⊂*A `⊂*A@@_+↓ @⊂+↓@ _+A  ⊂+A  ⊂+B+8,↓k⊂(,A+⊂(-k _-hT +K&αλ⊂@↓0(εAa∀P¬A!P8∧S``ββ DhαC Pp↓S PhαC@$hββ``↓S@P`ββ$pαC``↓∪@`P∧α@4xαB@ λαB@$xαB@ λαB@$xβα0λβα5αB _αB%αB _αB%β↓@0_β↓@5λαA@ (αA@%λαA@ (αA@%λβ↓0(β↓5⊂αA 8αA%⊂αA 8αA%⊂β@08β@5_α@@ Hα@@%_α@@ Hα@@%_∧B!∃ βB`u βB`u βB`u(αC U(αC U(αC U0↓C`50↓C`50↓C`50↓C`4("⊗∧2 ⊂H xαC) xαC)`@¬AIp8εj8¬j⊂0¬J⊂8∧j 8βj00βJ08αj@8↓jP0↓JPP+α
p0+Ak8,AK@,α
pP+` 8+@@0*@`@8*``8*A0)@a8)a 8)A@0(@a@8(a`8'↓AP@%β px%β px"Q∩_∩λ$⊂πB!4PπB!4pβC`dxβC`5ββ`5βC 5λββ %λβB`5⊂βB@%_βα 5_βB% β↓`5 βA@%(β↓ 5(βA%0β@@58β@%8¬⊗↓¬@∧⊗ eHβ⊗@UPαV@UPαV@UPαV@UPαV@UPαU!u(πQ(EPεd∩λ↓¬)A(&↓A0&↓↓⊂8&a 0%@a 8%@a 0%@a⊂8%@A 0%@A⊂8%@A⊂0*AjP0*↓j@0)Aj 8)↓J⊂8(AJ8∧@J0¬Ip8¬Ip0¬i`8¬i`0¬@iP8¬@iP0εi@8¬@i@0εi08¬↓)00∧Ai!8%¬hT 0Ec⊃(
A@P_↓∪AThα@@t`αAd`α↓@TXαA`DXααDPαBDPαBDPαBDPαBDPαBDPαBDPαB@ ↓∩@P@α↓$Xαα@ ↓∩`P8α↓$`α↓@P_↓SP β`$hα@@0λα 4p∧@@eαA T("_BA_⊃λ@0 %↓i 8&A	P &A	P &A	P &A	P &A	P &A (&C)P8↓↓)P0α↓)P(β↓	P βA)P ∧↓	P ∧↓)P ∧↓)P ∧↓)P ∧↓)P ∧↓)P ∧↓)P ∧↓)P ∧↓)` βA	` β↓)` β↓	p α↓* ↓↓*⊂H)A(T 1DBA(
A`Tx∧S P_↓S @ α∪@ αR`P αR`P αR@P0↓R@TPαR@TPαR@TPαR@TXαB@$XαB 4`αα $hα↓`4hαADx¬∀ d("→αqH⊃λAP )B
0@+A
p +A
p +A
p +A
p +A
p (↓   'β)P(↓↓i@(α↓I@ β↓)0(βA	0 ∧↓	 (∧↓	 (∧↓	 (∧↓	 (∧↓	 (∧↓	 (∧↓	 (∧↓@⊂%↓! αI0 ∧↓@⊂%A p αI@ β↓ 0_&↓ @0↓@IP(↓`⊂ @i`H↓↓J(αA(T 2DBA(
A@dp¬∪ P⊂α∪P α∩`P0↓R`P0↓R@P0α∩@P(α∩@PλβRADP∧∩@TPαR@TXα∩`PH↓R`PH↓S@@α∪ @0α∪@@_αSa%λβ⊃(F0πβ%2⊂βA*8'@`⊂('@`⊂('@`⊂('↓ _'↓	` '↓	` '↓	` '↓	 `%β	p 'A	p 'A	p 'A	p 'A	p 'A	p 'A	p 'A	p 'A
_(j_(j_(j_%@` _%↓ ⊂_%α	 @%AI@ "Qqλ	GBP0α@`$p∧ Dhα`t`α↓ dXαA@TXαA`DXααDPαBDPαBDPαBDPαBDPαBDPαBDPαBDPαBDXααDXαA`DXαA@T`α↓ dhα`tp∧ Eα@@E8α∃`E8α∪@00α∪ P(α∪ P α∪ P_α∪A$xβQ(F@
F$"⊂α↓	 @%α	` '↓	` '↓	` '↓	` '↓	` '↓	` α↓)` ↓α)` A ('↓⊂⊂αA	`8β↓	`0βA	`0βA	`(∧↓	`(∧↓	` ∧A	` ∧A	` ∧A	` ∧A	` ∧A@⊂'↓↓⊂ αI` ∧↓ @⊂'↓↓ α@I` ∧↓@_'↓↓⊂_αI` ∧A _'↓↓ 8'@A@("Q
⊂pεHD 0↓S`TxαS`U↓Q`thα∪dX↓@ DX↓`4P↓@`DP↓↓DP↓`TP↓`DP↓`Dxα∪`Dxα∪`Dxα`$xα`$pα@`$pα↓$pα`4x↓@`$xα 5β∀ D("~A@P∃HA_(A*⊂((A* _#Ai`(&Ai@_↓↓	@⊂α↓	@⊂α↓	0_α↓	0⊂αA	0⊂αA	0⊂αA
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓
  )↓	0_α↓	 (↓A	 (↓↓	 (↓i0@&↓HT 5Ebb⊂⊃`DPβR@thα∪ Dhα∪ Dhα∪ Dhα∪ Dhα∪ DhααThα↓`thα↓A∧hα↓ 0λαS @ ↓@@Thα`0 ↓S @⊂↓S @λ↓S thβS!$hα thα↓Thα↓ @(↓∪ @0α↓$hα↓@@ ↓∪ @0α↓$hα↓@@_↓S @8↓@`$hα↓`@λ↓S @@β∪@ Pα⊃(F`εαD"⊂↓A	 8%↓iP &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A	P &A0⊂&A0⊂&A0⊂&A0⊂&A0⊂&A _'↓⊂⊂'AJ "Q
RP∃¬"P⊂↓B`@β∩``(∧↓A∧P↓@ @_↓@`P_↓@`TP↓`@λ↓A @⊂↓A DP↓`p8βA`DP↓``@βαDP↓``@βαDP↓`PHαB DP↓`PHαB DxαB PHα∪`@Pαα@Dxαα@@Pα∪`@Pαα@Dxαα@@Pα`$xαα@@Hα@`$xαα@@Hα↓$xαα@@Hα↓$xαα@@Hα`4xαα@@P↓@`$xαα@@Pα 4xαα@@Xβ∀ `↓β D("≠CA`
E   βA)00αα)0⊂A  ↓↓) _↓↓⊂⊂αA	 ⊂↓A`` %@00βA	 ⊂↓A@p %@0(∧↓	 ⊂↓A! 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ αIp ∧↓ @⊂'A↓ α@Ip ∧↓P⊂'A↓ αip ∧@`@⊂'A↓⊂ ↓ip ¬↓j⊂ε↓(T 7Eαa(
A`dx¬∪@@ α∪ @0α∪@@α∩`P@αR`P@αR@PPαR@PPαR@PPαR@PPαR@PPαR@PPαR@PPαR@PPαR`P@αR`P@αS@@α∪ @0α∪@@ α∪a%λβ⊃(G¬Ca(↓↓P(%A@ H%@@⊂ @` (%` 0α↓) ⊂↓A ` %@0 βA) ⊂↓A↓ %@0 ∧↓) ⊂↓A↓('A↓('A↓('A↓('A↓('A↓('A↓('A↓ 'Ap('A ` 'A@@('A` ('C)p ↓↓)p 'A	p 'A	p 'A	p &BIPP"Q∞⊃(GBP0αA$p∧@ 4hα@@t`αAd`α↓@TXαA`DXααDPαBDPαBDPαBDPαBDPαBDPαBDPαBDPαBDXααDXαA`D`α↓@T`αAdhα@@tpεTP⊂α∃`E8α∃`E8α∃`E8α∃`E_ε∀aD("≤B↓
E   αA	00↓AI0⊂A⊂8%` X%@0X%@0(↓i ⊂↓A) ⊂↓A	 ⊂↓A	p 'A	p 'A	p 'A	p 'A	p 'A	p 'A
⊂"Q∞1λE"P βS!$`↓A DX↓B4X↓A`DX↓A`DXα↓`$XαRa∀`¬S!4x¬∀`dX↓A`TPαA`DPαB4PαB4Pαα 4X↓B4`α↓ Dh¬S`t("≥αp∂π@`⊂'A	p 'A	p 'A	p 'A	p %βI p'A	p 'A	p 'A	p 'A	p 'A	p 'A	p α@Ip α@Ip α@Ip αip αIp αJ ↓j⊂8)↓(T :FC!(
@`@P↓∪`@α∩`0λα↓`DX↓`08α∩@0_α↓@DP↓↓@0α∩@ _αA@DP↓`@8α∩@ _α↓`Dxα↓`Dxα↓`Dxα↓`Dxα↓`Dxα↓`@ ↓∪`@8α↓$xα↓`@ ↓∪`P0α↓%α↓ P_↓TP α@`%λα`pλ↓TA⊂β∃P α⊃(G0
¬αQ(↓A↓_&↓@`(%@`⊂ αA)0⊂↓@`P0%`0 αA) ⊂α↓` %@0(β@i ⊂↓A↓_%@0 ∧@Ip ∧@Ip ∧@Ip ∧@Ip ∧@Ip ∧@Ip ∧ip ∧Ip ∧J βj(αj⊂(↓j @*↓(T ;Gcq(
@`@P↓↓`4`βα@(αR`0λα↓`@(αR` _↓A`@(β∩@0_α↓@@0αR@  α↓@@8α∩@ _αA@@@↓R@ _α↓`@@↓R@ _α↓`@H↓∪`@8αα $xα↓`@H↓∪`@8αα $xα↓`@H↓∪`@8αα $xα↓`@@↓S`@8αα$xαA@P8↓∀@0αA@5αAp(↓∀ P⊂↓@ P_↓T`p_∧UP0β⊃(G@¬BQ(α↓ @(&α 8%A  @@⊂(%@@P0A) _β↓ (%@p ↓@i ⊂βA	 ⊂βA	 ⊂βA
0 )A
0 )A
0 β@J0 β@J0 β@I@_α↓p⊂%A 0 βi0(↓↓@P⊂%A ⊂_A  &↓`0@&A P("Q∂⊃(
GBP_αα`$`βα DX↓@ @@α∩` _↓BDP↓@`@8α∩@  α↓`DP↓`P8α∩@ _ααDP↓`@@α∪`@@α∪`@@α∪`@@α∪`@@α∪`@@α∪`@@α∪`@@α∪`P8α∀@0αTP β∀ P⊂βTAλα∃P⊂α⊗`EXα∀0@α∪`P0α∪`P0α∪`P(α∀0 αT!%⊂βQ(GPλDbQ(↓↓ `⊂%A`@_%B  %βI _α↓i ⊂∧i ⊂∧J0_)j⊂_(j⊂'@i`_∧IP_∧@IP⊂¬I@_∧@i08αA	0x%↓ P%`@@%@p "Q↓H
H$⊂∩C∧xαBdxαB@DxαB`4xαC4xαC4xαC4xαC $xαC $xαC $xαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαS`TxαRB∧Pλ⊃(@λ⊃ID∩λλk _,A+⊂(,↓k8+B*p⊂↓↓*`_↓↓J`⊂α↓*P_α↓JP⊂β↓*@_β↓J@⊂∧↓*0_∧↓J0⊂¬↓* _¬↓J ⊂ε↓*⊂_ε↓J⊂⊂π↓*_π↓J⊂λ↓)p_λ↓Ip⊂	↓)`_	↓I`⊂
↓)P_
↓IP⊂↓)@_↓I@⊂↓)2λ%H)"_%λhT ↓λ∧2λ⊂C↓¬_π∀ p βT`@β∪`P`αS@``β∪ `pβ∪ QαSaβ∪Q⊂αR`a⊂β∩`a⊂β∩@a β∩@`_↓α@ _β∩@`_↓α@ _β∩@`_π`dPβa`_β∩@`_π`dPβa`_β∩@`_↓α@ _β∩@`_↓α@ _β∩@a β∩`a⊂β∩`a⊂β∩`a⊂β∪aβ∪ QαS `pβ∪@PpαS`P`αT`@β∀ p βTae0∧⊃(@_∞πD∩λε@Jp⊂+↓
` +↓
` *AJP0*AJ@@*α
@@*α
0P)@@ 0)@@ 0)` 8)@@0)@@0)@@0(@`@8(@@`0(@@`0(@@`0(``8(A0(A0'@a8'@A 0'@A 0'a 0&A!⊂8%α` x%α` x"QA8
λ$⊂RBtPRBtP↓∧`$P↓∧`$P↓∧`$P↓∧`$8↓∪ x↓∪ x↓∪ x↓∪ x↓∪α4`	Sα4`	S x↓∪ x↓∪ x↓∪ x↓⊃`$P↓∧`$P↓∧`$P↓∧`$P↓∧`$PRBtPRBt("↓$∩_⊂H αλ%λ)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA)p(εA) hβC) hβC(T βπ$αλ⊂@βDP∞∩`PxβR`a⊂↓Saλ↓S Q⊂↓S aλ↓S@Qλ↓S@aλ↓∪`a↓∀Q↓∀eλβ∀@U⊂β∀`U_β∃U(↓U % ↓T`5⊂↓D%λ↓D %λ↓∧@%↓D 4x↓D@4p↓D`4h↓D`D`↓E4`↓∧ tX
RCDP∞⊃(@8∂Hd∩λα↓A00&α!⊂H%B`pX%CP`%↓ 00↓A@0(%``(↓A `_%`p(A p_%A⊂ A↓⊂⊂%A⊂H∧@J`8+↓j`8+↓jp(+A*p(+A*p(+A*p(+A*p(+A*p(+A*p(+A*p(+A*p(+A*p((D*⊃λ"Q↓↓h⊂λ$⊂0λTα∃0αU@U0αU@U ∧T!tx	S@`⊂α@@dhαAP αS` αAdXβ↓ P(β∩``(αA dPβ↓@P0β∩@`0αA@dPβ↓@P0β∩@`0αA@dPβ↓@P0β∩@`0αA@dXβ↓ P(β∩``(αA d`β↓P β∪ P αATpβ@P⊂β∪b5λπU↓∃0αU@U0αU@UλTα∀("α$∩ ⊂H!↓λ)∧+(,↓+(,↓) (∧A!⊂(%↓A(∧↓I00βA p0&↓ p(βA)@0β↓ `0&A `(β↓)P(β↓ `(&A `(β↓)P(β↓ `(&A `(β↓)P(β↓ `(&A@P(αAI`(αA P('↓ P(αA)`0α↓ @0'A @(α↓)p0↓A 00(↓@ (↓↓J⊃_)∧*@h+α+(,↓+(,↓*!λ)∧(T ¬π$αλ⊂BA∃λπS`p(βS pHβS`hβ∪`hβ∩``xβ∩@pxβR@aλβ∩@aλβ∩@aλβ∩@aλβ∩@aλβ∩`QλαR`QλαR`QλαR`QλαSAλα∪Aλα∪PxαS @xα∪ @xα∪@0x↓S@@hα∪@@hα∩@ _↓C 0_↓∩@ _↓C 0_↓∩@ _αα`@_↓∩@  ↓B`0 ↓∩@0_↓B`0_↓RaX∧∩a⊂H∧Ra⊂H∧Ra⊂H∧Q(BλβαD"⊂A	 0%↓I 0%↓I 0%↓I 0%↓I0 %A	0 %A	0 %A	0 %A	0 %A	@⊂&I@⊂&I@⊂&Hp_%A	 0%↓I 0%↓I0 "Q∧2_∪∧!λ↓α %P↓B5P↓α %P↓α %H↓B %H↓α 5H↓α %H↓α %@↓B %@↓α 5@↓α %@↓α %8↓B %8↓α 58↓α %8↓α %0↓B $P⊃RD50↓α %(↓B5(↓α %(↓α %(↓α % ↓B5 ↓α $P⊃RD5_↓α 5_↓α %_↓α %⊂↓B %⊂↓α 5⊂↓α %⊂↓α %λ↓B %λ↓α 5λ↓α %λ↓α %↓B %↓α 5↓α %↓α $x↓B $x↓α@$("	$20∀	 P('↓bP⊂&@`0_	@i@ αb⊂_%A`⊂λ↓	0 βa` %↓p(¬↓)  ∧↓`0@%↓↓⊂Ci  ∧@@(↓@i  ∧A0_%↓↓⊂¬@I  ∧A _%↓↓⊂∧@i  β@a_%A`⊂∧@I0 βA_&↓@_β@iP_↓@`p_'↓a⊂'A!_αA+0_αAk0⊂α@`0_-`@ αk⊂_α↓`⊂,`P βK⊂αAp_+@`P ∧J`_β↓↓⊂*@`p ∧JP⊂∧↓↓⊂*a ∧J0_∧A↓⊂)a  ∧J ⊂¬Ap_(@a@ βJ_εA`⊂'@ap αip⊂λ@`0_'b 8'B@("Q∧p8¬CD λα∩@dPβR@tPβR`dx↓∪`$x↓∪@4p↓∪ 4`↓R`4X↓⊃(B@¬Dε"(∧@J⊂ (↓
_'@i` 'iP &@i@ &↓	@_%A	0 %A	0 %A	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %↓	  %A	0 %A	0 %A	@_&↓	@ &@iP 'i` '@j_(↓
⊂ )@HT ∀BaS⊂∩@$Pα∩`D`↓S 4hα∪@4pα∪`4xα∪`E↓TEα∀Eα∀Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀ Eλα∀Eα∀Eα∀E↓S`Dxα∪`4pα∪@4hα∪ 4`↓R`DPα∩@$("
B↓ 
	 p_(@j⊂_(@J⊂⊂%`@⊂αi _α@@_%↓0⊂↓A	@ @@⊂ 'α
 (↓	`@&↓⊂⊂A	  ↓@@0 %`@⊂αi _α@@_(@J⊂_(@j⊂_"Q¬2⊃Hβ@x↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓∩D∧P⊂⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊃(B`βBa`(A	 0%↓i 8%↓i00'@Ip⊂'@I`_'IP_&i0_%@HT ↔↓A (α@ DPβ∩@dPβ∩@dXα⊃(Bx	¬&"(λK ⊂,@k⊂⊂,@K_,K⊂+@jp⊂+@J`_+J`⊂*@jP⊂*@J@_*J@⊂)@j0⊂)@J _)J ⊂)J⊂_(@J⊂⊂(j⊂(Ip_'@Ip⊂'i`⊂'IP_&@IP⊂&i@⊂&I0_%@I0⊂%i ⊂%HT ≥↓A!(
@ DPβ∩@dPβ∩@dXα⊃a∀Xα∩@dPβ∩@dPβ∩`D("∞``P∂¬ ⊂ %↓I 0%↓I 0%AλpH%A	 0%↓I 0%↓I0('I`⊂'IP_&@IP⊂&i0_%@HT ≡↓A"⊂@ DPβ∩@dPβ∩@dXα⊃`4`↓∪$`↓∪$`↓∪$Xα∩`DXα∩`DXα∩`DXα∩`DXα∩`DPβ∩@dPβ∩@dPβ∩@dPβ∩@dXα⊃(Ch⊂λa1⊂λ	"#Ai"%λλT  λ∧2⊂⊃β↓¬_π∀@P0αT@`α∪`@pα∪@1⊂↓S 1 ↓S  @βα$`↓AA 0↓S (αA@0↓∩`0 αA`0(↓R` (αα P_↓∩`  αα`@_↓∩@0 αα`@_↓R@  αβ@ ↓∩@  αβ@ ↓∩@  αβ@ ↓∩@  αβ@ ↓∩@  αβ@ ↓∩@  αβ@ ↓∩@  αβ@ ↓∩@0 αα`@ ↓∩`  αα`@_↓R` (αα P_↓∩`0 αA``⊂↓S (αA↓⊂↓∪00¬@th↓α`0α∪ 4p↓S`A ↓TAβ∀@PH∧∀b%0¬Q(EXβαf"(↓I 0%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I 0%↓HT .AAβ⊂∩@dPβ∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$p↓∪@$Pβ∩@d("_pPπλ@@⊂&@i@_%@i0⊂%i ⊂%I ⊂%↓I 8%↓i 8%AI@ "Qε↓0Gcp8∧∪aDpαAThααD`αBT`αα@DXαB@TXαB@TXαβDPαCTPαCTPαCTPαCTPαCTPαCTPαCTPαCTPαCTPαCTPαCTPαCTPαCTPαCTXαβDXαB@TXαB@T`αα@D`αBThααDpαATxε∀!∧(""Q8∂Ga0⊂*@J@_)A
 ('B	0`%A  ()↓* ()↓* ()↓* ()↓* ()↓* ()↓* ()↓* ()↓* ()↓* ()↓* ()↓*⊂8%¬)!("Qε!(Gcp8β∪a$hα@`d`α↓`T`↓α TX↓@@ 0αR` _↓↓@TP↓@` 8αR@  ↓↓`TP↓↓ 8αR@  ↓↓`TP↓`08αR@ _↓αTP↓@ 08αR`P8αS0@α∃@E αT`EλαS`Tpα∪@$h↓C $`↓C@$`↓β`$`βB 4X¬A 4X↓@aTX↓↓A$X↓↓a∀X↓α T("b1(∂G`p0'BI` α↓	P_βA	@_∧A	@⊂@@p(%@`⊂_βA	0⊂↓@@p %@@0⊂βA	0⊂↓@@p %@@0⊂βA	0_@`` &↓ p &@`p (B*⊂8*A
`(+A
p(,↓(%@a (%↓!⊂(%↓!⊂(%↓!⊂(%↓↓⊂(%@A (%@a(&↓P(&C	p8"QεA0JβpX↓∃E α∃E α∃E α∃E α∃5_α∀`E_α∀`E_↓T@E⊂α∀@5⊂↓T Eλ↓@`5α@U↓@`Txα`Tx↓ATp↓A Tp↓A Th↓A@T`∧@TXλ∩@@(εR@ P¬∃@U0αU@U0αU@U0αU@U0αU`4("
"!(∂G` ⊂εI@(β↓)@x&βI@`&@ 0&I@⊂&I@⊂&I@⊂&@⊂8&β	@ α↓)@_β↓)@⊂∧↓*`(+A*p(+A*p(+A*p(%@a⊂(%↓! %↓ p(%↓ p %↓p(%A@0&αi`8"Qεa πcp@βT↓4xα↓ Dpα↓`4hα↓`T`αA`T`ααTXαB 4XαR`TXα∩@P_β∩@P⊂∧R@Pλ↓@`TP∧↓ TPβA`DPβαTPβα DPαB@TPαB@TPαB@TPαB@TXαα@TXαB TXαB TXαB D`ααT`αA`DhαA Tpα@`Tx¬T t("
ba8∂G` ⊂↓A↓⊂⊂&@⊂8β@i@XαA	@`↓A	00ααI0(βAi0_ε@i0_ε@i _ε@i ⊂πi ⊂εA	 ⊂ε@k⊂_,↓ +A*p(+A*`(+↓*`(+↓*`(*AJP0*AJP0*AJP0*AJP0+↓λT ≤¬αax∂AA∧pε∪ P αS@@α∪0Pα∩`0`↓R`0`↓R`0`↓R`@Pα∩`PH↓SP8α∪p α∪ p⊂α∪a%∧∀↓∀pε∪ P_β∪@0β∩`@HαR`0XαR@@`α∩@0hα∩@0p↓R@0p↓R@0p↓R@@`↓R`0`↓R`PH↓S`(α∪AE∧⊃(CH
¬Cqxβ↓I`X&A  0&↓ P(&↓p(%A p(%A↓⊂(%↓!⊂(%↓!⊂(%↓!  %↓! (%↓! (%↓! (%↓! (%↓!⊂0%A↓⊂0%A!0&↓p8&↓ P@&A   A)`H↓↓*(α↓+⊂ ,↓)P_∧↓)@(βA)@(β↓)@(β↓)@ β↓)P α↓)`X(↓HT 	αApH⊃ $Pα∩@TXαSThα∪@Dxα∀Eλ↓Q(A_¬∧a∩⊂β@J 'A)`(&A)P &↓	0 %↓	 _"Qα@p	Bβp↓α@$P↓B4Xα↓D`α@Dh∧∪@dpβ∪`E↓⊃(A(π∧a"⊂A ⊂%A ⊂%A ⊂%a_%@A⊂%@``_%A@ &↓  &B	`0'AλT ∧BPλ
@α$P	⊃(A8∧Ea"⊂↓↓)08%@@0⊂%`0_%@P⊂%@P⊂%@P⊂%`0_%@@0⊂%Ai@("Qβ`B ⊂ α∪@DpαS@uβ∀@EλαS`dP¬∩A∧("λ↓0HαDa_(↓)`(&↓) (%hT /βB0@⊃↓@$xα∪@dh∧∪↓$`α@DX↓A@4P↓B4P↓α@$("↔``PαH ⊂ %↓I 0%↓I 0%AλT >CB@H⊃↓ (↓∪ @_α∪ @_α∪@_α∪@_α∩`@_α∩`0 ↓R@@_α∩@0 ↓R@ (↓⊃(Gpλ¬R⊂α↓`⊂&A@@_&α _%@` @%`@0%@` "Q∂pp	A$⊂λα↓DPβ@dPβ@dPβ@dPβ@dXα↓D("	β!h⊃λA`0+αJP α↓
@ β@J0 ∧j0 ∧@J  ¬j  ∧A
  ∧↓*  ∧↓*  ∧↓*  ∧@j  )↓
  )↓	p`'C
  )↓
  )↓
  )↓
  )↓
  &αA@⊂%Ba@⊂%β↓0_%@P8∧@i ⊂αα@`_%` (C)0@ααi@(βBλT ∪πβr⊂⊃↓@`X↓SA @αS P_α↓`T`α↓` 8αR`@8α↓`DXα↓@P8α∩@P0αA`4Pα↓`P0α∩@@@↓A`4Pα∧ DPα∧DPαβ`DPα@`0αRAP βR`p_↓@`0⊂↓R``(↓@@_↓S@0↓@0(↓∩`p_↓@@0(↓Ra@_αA$Pα@ ` β`4PαB`` ↓∩@PXβ↓$PαC@(↓∩@Q(↓∩@Q(↓∩@Q(↓∩@a_↓R`Q_↓∩`Q⊂↓SQ↓S Pp↓S@`X↓T`8α∀Ae(∧Q(CpλE$!Hβ@j((↓*((@hpλ(↓	`8'` ⊂&@`0_&@@P⊂&@@P⊂)@j  (A*⊂ (↓	p '↓)P(&↓ `_%A `(%↓ p(%↓↓(%a  %a@⊂%a0_%a0⊂%a _%@A ⊂%@a_&↓@ &BIp0"Qπqλ
λD 0β∪A$hα↓D`↓B4`↓α@$X↓B@4X↓α`4P↓B`4P↓β4Pαα@4PαBDPαA`TPαA@TX↓A@U_αT@U⊂α∀ Eα∪`Txα∪`4x↓↓ $x↓↓ $x↓@`5↓@5βT D8T@5λαT UλαT@4("∧↓`h
E 0 &↓I0_A	0⊂↓@i _↓A	 ⊂α↓	 ⊂↓A) ⊂↓A	 ⊂↓A	p 'A	p 'A	p ↓@Ip ↓@I`(↓@I` αI` ↓@ip_↓@Ip @j0(AλT λC↓!p
AThβS0⊂α∪  α∪  α∩`0 α∩` (α∩` (α∩` (α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∀@E⊂α∩`0 α∩@P_α∩@P⊂α∩@P⊂↓Ra∧`β⊃(AH¬e2⊂∧B
⊂`(↓P('A↓ 'A↓('A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂_'A↓⊂_%B↓⊂⊂%B↓_'Ap_'Ap_'Ap⊂'Ap_'Ap_'Ap_'Ap 'Ap('A p((↓↓((↓↓((↓↓⊂((↓↓⊂((↓↓⊂((↓⊂_αA*Hα↓*Hα↓
H↓A
 BJ ↓AJ (j_%@` _%↓ ⊂_%↓ ⊂_%α	00&↓λT 
λ∧!(
C@0_β∃B¬ ε@E⊂α@ `(α∀ @_αA`4xαAP8↓S@P(α↓`DhαA@@(αSP8α@t`αAa4XαB↓∧XαBDPαB DPαB DPαB TPαB PP↓R@P@βα@4PαBp@α∩`P0∧A@D`αA↓0_αS! λα!$xβ@` _βQ(AX⊂λBQ(β↓A0'α@@P&A  (A@  &↓ @HαA	@ β↓`p_%A `8β@i0 ∧↓ p %↓!(αA) (∧↓  8%↓!`%↓!H%↓!(%↓!(%↓!(%↓!0%A↓0¬i0(β↓a _&↓`@∧↓	@(αα p &A  (↓↓ 0('α@@X(↓A8"QβA0Gc!_↓↔5`↓⊗`5X↓∀!λ↓SaTpαAThα↓`T`ααdXαα0λα∩`@8↓@@DPαA` _αR@@8↓ADPα↓` (α∩@@0↓A DPα↓ 00α∩@@(↓↓`DPα↓08α∩@P_↓↓`TXα@08α∩`@λ↓BD`βαDhαA`DpαATpεS 0λ∧∪ $`↓S$X↓R`$("π%αP⊂H!1X*Fk⊂@∧AK_A!@_,@ (εk⊂↓↓!P_+@` (ε@jp⊂↓A!P_+@@0(α@@p⊂+`0(α@@p⊂+@@(α@@p⊂*@`@(α@JP⊂αA @_*@@P(αj@_αA 0 *@``*@``)@``(↓A
0⊂βA @_)@@p(αj _βA P⊂)β`P⊂∧J xα@A⊂(@a(α@A⊂(@A⊂(πj_∧A!`_(A (πj⊂¬↓!P '@a (ε@ip⊂¬A!P_'a0(¬A)P(¬↓!⊂8%α`!P%α`!P"Qβb`↔H$⊂`∂∀d∃⊂β↓ pPβ∀`@ββ 4xαB`Ph↓S@`XαC@4hββPp↓S PhαC@4`ββ P0↓↓`$`αC@P0↓↓`$Xββ@P0↓↓`$Xββ@P0↓∩@`xαA 4Pββ`P(↓R@`xαADPββaTPββaTPββ`P α∩@`xαA 4Pββ`P(↓R@`xαA@$Pββ`P0↓α$Xββ@P0↓α$Xββ@P0↓α$`αC@Px↓S`hαC`4hαC Px↓S ``αC@Dpβα`Pp↓S`PXαC@5βα``αT@`(βB@u_⊃∃Ct("πdα_∪Iβ0⊂2@L@_+α`⊂)C@ _(A@`@(↓! ('A!@('↓!P0&A!`8&A↓`_A	@(ε@` (&↓!P⊂↓A)0(ε@`@(%A!@_αA) 0ε@`0%↓!@_βA) (¬@a(%↓!0⊂∧A) (¬a⊂(%↓!⊂_¬↓) (∧@A0(%↓!_¬A) (β@a@(%↓@`⊂ε↓I0(α@a@(%A @_εA)0(αA`(&↓  _εA)P @a` &Aa`('↓AP('A!@((↓! ('B`0'` p'@`@&@i@_&HT ¬G#BX⊃α `0β∀! _∧∀@_α@ @λαT0 α@ 0⊂αT0 α@ 0⊂αS`@(↓@ @_↓S`@Hα∪`@Hα∪`@Hα∪`@Hα∪`@Hα∪`@Hα∪`@Hα∩c$X
∀@Hα∀@Hα∀@Hα∀@Hα∀@Hα∀@Hα∀@Hα∀@Hα∀@Hα∀@Hα∀@Hα∀@Hα∀@Hα∀@Hα∀@Hα∀@Hα∀ 0Hα∀ 0Hα∀ 0P↓T 0P↓T 0Hα∀ 0Hα∀ 0Hα∩`0_β↓@4Pα@!(↓R@Pλ∧↓DPπ`DXβ@A$`αA d("ββQ`∃HA H)βJ⊂ βA* ∧↓*_∧A*_¬ip 'A	p 'A	p 'A	p %EI10(↓↓⊂ (↓↓⊂ (↓↓⊂ (↓↓⊂ (↓↓⊂ (↓↓⊂ (↓↓⊂ (↓↓⊂ (↓↓⊂ (↓↓⊂ (↓↓⊂ (↓↓⊂ αJ ∧A@⊂(↓↓⊂ αJ ∧A@⊂(↓↓⊂ ↓@j⊂_∧A0⊂(@a  ↓J⊂_¬Aj⊂_ε↓*⊂_(@j⊂_%@`0_%↓ ⊂ %↓ ⊂_%α)08&↓(T εG#BX⊃α!⊂α∀"¬αA↓¬α↓!¬↓AA∧xα↓`txαα@Dxαα@Dxαα@Dxαα@Dxαα@Dxαα@Dxαα@DX∩beαα Eαα Eαα Eαα Eαα Eαα Eαα Eαα Eαα Eαα Eαα Eαα @ ↓∀@Hα↓%αα @ ↓∀@Hα↓%αα @_↓T 0Hα`%λ↓B@@⊂↓∀ 0XβT 0`αT 5λ↓T 4X↓@`4Pα@ DPα@ 4P∧R`t`αQ(@p∃JE2⊂¬α`H)β⊂x(APHβA* β↓a⊂((`p8∧A*_∧↓A _'A↓  'A↓  'A↓  'A↓  'A↓  'A!⊂ (↓↓⊂ %I	2 (↓↓⊂ ¬↓
 ∧A↓  (↓↓⊂ ¬↓
 ∧A↓  (↓↓⊂ ¬↓
 ∧A↓  (↓↓⊂(∧A
 ¬↓↓⊂ (↓↓  ∧A
 ¬↓↓⊂ (↓↓  ∧A
 ¬↓↓⊂ αJ ¬↓↓⊂ αJ⊂_¬↓↓⊂ αJ⊂_¬↓↓⊂ αJ⊂_¬↓↓⊂ ↓@j⊂_¬↓↓⊂ ↓@J⊂_¬↓↓  ↓J⊂_¬↓↓08(@a  εA
⊂_¬j⊂_¬j⊂_¬i0_↓A!_%↓  0β↓	 (A``_%↓ ⊂8α↓	08Bi@(α↓hT πJe"X⊃αA(∧@E⊂ε"¬λα↓!(∧∀@0βAA¬↓A`p0∧∀0@β↓`txαα@@Pα∪`@Pαα@Dxαα@@Pα∪`@Pαα@Dxαα@@Pα∪`PHαα@Eαα @Pα∩dDX∩∀@Hαα@Eαα @Pα∀@Hαα@Eαα @Pα∀@Hαα@Eαα @Pα∀@HαB Eαα@@Hα∀@Pαα Eαα@@Hα∀@Pαα Eαα@@Hα↓%αα@@Hα↓%λ↓B@@Hα↓%λ↓B@@Hα↓%λ↓B@@Hα`5λ↓B@@Hα`%λ↓B@@Pα@%λ↓B@@XβT 0Pαβ Eλ↓B@5λ↓B@5λ↓B@4X↓@``8↓R@P⊂βA DPα@!(↓R@Pλ∧↓4Xβ@A$`αA t("↔α↓8πλ@@⊂β@IP_βi@_βi0_βi0⊂β@I _βi ⊂β@I ⊂β@I ⊂β@I 0↓AI 8↓↓i 8↓↓i 8↓↓i00↓AI@ αAλT ⊃∧α⊂p⊃ @(α∩@`_β∩@p⊂βR@p⊂βR@p⊂βR``_β∪` 8↓∪` 8↓∪` 8↓∪@00↓S@ 8↓∪ 00↓S00↓R`00↓R` 8↓⊃(Bhπβ@0`βI p%βI p"Q∂1@!P∩C∧("∨ε∪λC βλ%(←@εpX(dQc≤_↓∨3@↓∨3@␈␈␈␈pβλ␈␈␈␈_α({⊂$Pε∧?0!λ`X*U *↑d_∩↓8p≤@λ⊗⎇HB0βπ∞ ~p{⊃$ ¬8q`F←0#λ P8q`↓1≡d8∪@↓Hp≤@_≡⎇Iα(β< {∩" αqc@↓	␈0%ε@@≤9α&↑dX∪@↓Gλc@ y⎇IAxα@X0{∪%`π*U0↓<␈0'	 `β5≡dx∪@↓Gλc@8C⎇Jα⊂α\8p↓p{∀$pε≤8pα∞←0)	 XcG∧I≡e_∞↓∞_GHY⎇JB αqcH↓#{∃$PεαS␈0+	 `¬J↑e8→@απλc@XS⎇Kα(β↓H{⊗$Pεβ∨←0-π@HcGεZ↑fλ@↓ho⎇L!0↓cG⊂↓d`{_b`βG∞ βW␈02ε @πB≡f(q`9xG⎇L`p↓∞≤8↓⎇P{→b`βG∞ ∧λ←04ε @λ/↑fHπGλc@↓λ$⎇M x↓≤8pα~ {~b`βG∞ ∧A?06α`_G∞ 	$↑fh∃↓U(*@↓⊂v⎇Ma`α≤8pα9`{≠c⊂∧¬β?08ε @
≤↑gλq`9↓ x⎇N!_↓G∞ αV{≤b0β∞≤@¬5∨0:β` qc@
⎇≡g(
↓πλc@↓0#⎇Na0↓cG⊂αl⊂{≥d⊂¬*U0¬e?0<¬@8∞≤@p↑gHxp≤@↓@⊗⎇O!_↓G∞ β0{βp¬ε ←0J@h*U X↑`⊂∪@↓Gλc@↓Hm⎇@2αG∞ β'P{↓β`∧qc@ε]←0αI `
T≡`0∩↓8p≤@↓Xm⎇@r8β∞≤8βDP{α∧@¬cG⊂π↔∨0∧I``8q`∞Q≡`P∩↓8p≤@↓hk⎇D⊂p↓∞≤8βg0{λe εU*PπW←0∩J@h*U ∂\≡b8πGλc@α0⎇E↓_↓G∞ ∧λ0{
"0β∞≤@λ≡?0∃ε @⊂X≡bX∪@↓Gλc@αλX⎇E@p↓∞≤8∧∨P{A`α≤8pλC␈0↔F @⊃↑cPπGλc@α⊂O⎇G0p↓∞≤8∧,{∂↓`α≤8pλ↑?0≡I``8q`⊃N↑d∪@↓Gλc@α_%⎇K0p↓∞≤8∧Ap{↔!`α≤8p	⊃?00β@ 8q`∩>≡c@↓α(∞⎇F⊃Hα∧Y`{C⊂∧	<←0→F @∪≠≡c @↓α0t⎇FQHα∧u@{
C⊂∧	w∨0≠F @∀
≡c@@↓α@K⎇G⊃Hα¬⊂p{∧C⊂∧
1?0	F @∀i↑a @↓αH`⎇BQHα¬≡⊂{¬C⊂∧
A␈0I `∃ε↑a@∩↓8p≤@αP"⎇DXqcH¬&{↔C⊂∧
N?0/C@ 8q`∃%≡gh@↓αPS⎇OaHα¬-0{∨c⊂∧
↑←0∩λP≤9∃E≡b0∩↓8p≤@αXE⎇GaHα¬D0{∂c⊂∧⊗∨0λβ@ 8q`⊗G≡aλλ@U(*@αh5⎇C⊃`α≤8p¬\0{εD@¬cG⊂M␈0
IXG∞ ↔9↑a`@↓αx0⎇CRhβN≤8¬}@{πF λ⊗∨0∂I``8q`_←≡`X∞↓∞_Gβ⊂∨⎇AA`α≤8pε0@{β#@∧8q`u?0π
@h*U ~↔↑`x∃↓U(*@β(+⎇KAHαεf{λC⊂∧
T?0⊗D (*U ≠9↑gX@↓β0z⎇OC⊂∧εp|@β8¬`{⎇xow{⎇x